雑感 Pythonはテストコードだけだと実装が一意に決まらないのでは
引数に与えるのが1でもTrueでもテストコードはパスする
PythonのassertEqualは1 == True
IMO：mypyで引数の型を見るなど、一意にするために静的解析と組合せる必要があると考える
『
ロバストPython
』を読んで思った、型チェッカと合わせることで一意に決まる部分が増えそう
別の事象として、ベストプラクティスに沿った書き方は全てがテストコードで指定できるわけではなさそう